#pragma once

#define INVALID_HARTID 0xffffffff

void hartid_to_cpuid_map(unsigned int hartid, unsigned int cpu);
unsigned long cpuid_to_hartid_map(unsigned int cpu);
void secondary_start_sbi(unsigned long hartid, unsigned long saddr, unsigned long priv);

void setup_smp(void);
